Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst

Source URL: sel4.systems

• Evaluation
• Trusted computing base
• Microkernel
• L4 microkernel family
• Real-time operating systems
• Gernot Heiser
• Formal verification
• Isabelle
• Formal methods
• Computer security
• Computer architecture
• Computing

TOWARD A COMPREHENSIVE INFOSEC CERTIFICATION METHODOLOGY  Charles N. Payne, Judith N. Froscher and Carl E. Landwehr Center for High Assurance Computing Systems Naval Research Laboratory Washington, D.C–5337

Source URL: www.landwehr.org

• Crime prevention
• National security
• Trusted Computer System Evaluation Criteria
• Trusted computing base
• Vulnerability
• Information security
• Trusted system
• Common Criteria
• Software security assurance
• Computer security
• Security
• Data security

Bettis Atomic Power Laboratory Laboratory Procurement Quality Assurance Requirements Form KBPQAR-1

Source URL: www.bettislab.com

• Management
• Quality
• Standards
• Evaluation
• Quality assurance
• Verification
• Specification
• Purchasing
• National Accreditation Board for Testing and Calibration Laboratories
• Business
• Technology
• Systems engineering

DoD Instruction, May 8, 2015

Source URL: www.dtic.mil

• Military science
• Command and control
• Department of Defense Architecture Framework
• Net-centric
• Security controls
• Defense Information Systems Agency
• Information assurance
• Global Information Grid
• Defense Technical Information Center
• Computer security
• United States Department of Defense
• Security

lefttopProcessor: Focus Area Project Information Form C: Assurance Systems (Traceability) Program Year Three, The Project Information Form captures information specific to the project category and confirms if a

Source URL: www.omafra.gov.on.ca

TSCP_logo_cmyk_Participation_whitetext.eps

Source URL: www.tscp.org

• Computer security
• Crime prevention
• National security
• Identity assurance
• Federated identity management
• OpenID
• Defense Information Systems Agency
• Transglobal Secure Collaboration Project
• Security
• Identity management
• Identity

How Far Can You Trust A Computer?1 Carl E. Landwehr Center for High Assurance Computing Systems, Naval Research Laboratory Washington, D.C., U.S.A

Source URL: www.landwehr.org

II.A. Tank Testing Purpose of Tank Testing Tank testing is performed to obtain high quality data for a proposed device under a controlled environment. Estimates of final performance may also be obtained against a selecti

Source URL: www.chrissmithonline.co.uk

• Software testing
• Evaluation methods
• Systems engineering
• Design of experiments
• Psychometrics
• Statistical hypothesis testing
• Quality assurance
• Software development process
• Verification and validation
• Science
• Information
• Statistics

Systems Portfolio Guide A Resource For Creating Your Systems Portfolio Academic Quality Improvement Program The Higher Learning Commission

Source URL: server21.pulaskitech.edu

• Quality assurance
• Systems engineering process
• Process management
• Business
• Accountability
• Management
• Information technology management
• Performance measurement

lefttopProcessor: Focus Area Project Information Form C: Assurance Systems (Food Safety) Program Year Three, The Project Information Form captures information specific to the project category

Source URL: www.omafra.gov.on.ca

• Industrial engineering
• Packaging
• Product safety
• Quality
• Food
• Cheese
• Beef
• Soybean
• Spread
• Food and drink
• Meat
• Food safety